Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
591	Developing Bigraphical Languages Troels Christoffer Damgaard A PhD Dissertation Presented to the Faculty of the IT University of Copenhagen in Partial Fulfillment of the Requirements of the PhD Degree Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-12-10 11:30:39 Science Bigraph Calculus Formal language Logic Process calculus Theoretical computer science Mathematics Applied mathematics
592	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Computing Postcondition Design by contract Abstract interpretation Programming language Formal verification Precondition Class Software engineering Theoretical computer science Logic in computer science
593	BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:58:45 Model theory Metalogic Predicate logic Electronic design automation Linear temporal logic First-order logic Boolean satisfiability problem Well-formed formula Constructible universe Logic Mathematical logic Theoretical computer science
594	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
595	ANNUAL REPORT \| 2014 UMIT Research Lab About UMIT UMIT Research Lab is a strategic initiative in computational Add to Reading List Source URL: www.org.umu.se Language: English - Date: 2015-03-17 11:20:58 Operations research Simulation Computer simulation Science Logic simulation Algoryx Simulation AB Granular material Knowledge Electronics Virtual reality Military technology Modeling and simulation
596	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
597	Domain Theory in Topical Form Steve Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-02-22 04:56:46 Mathematical logic Science Logic Domain theory Model theory Academia Mathematics Sheaf theory Topos
598	Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:51:19 Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics Mathematical logic Logic
599	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
600	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Modularity in Meta-Languages Modularity in Meta-Languages Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-26 07:20:40 Programming language semantics Procedural programming languages Logic in computer science Denotational semantics ALGOL 68 Standard ML Operational semantics Programming language IMP programming language Programming language theory Software engineering Theoretical computer science

UPDATE